مباحثی در تعریف ناپذیری صدق تارسکی
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
- author سعیده حاجی بهرامی
- adviser سید محمد باقری
- Number of pages: First 15 pages
- publication year 1389
abstract
قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 1963 ارائه داده است. سپس دو اثبات دیگر بدون استفاده از لم قطری شرح می دهیم، و تعریف ناپذیری صدق را برای مدل های نااستاندارد بررسی می کنیم.
similar resources
صدق در فلسفه علم پوپر و مفهوم سمانتیکی صدق تارسکی
مفهوم صدق در فلسفه‌ی علم پوپر از جایگاه ویژه‌ای برخوردار است و این موقعیت منحصر به فرد، به ویژه وامدار آشنایی وی با آلفرد تارسکی و مفهوم سمانتیکی صدق وی است. برداشت پوپر از مفهوم سمانتیکی صدق تارسکی را که منطبق با نظریه‌ی تطابقی صدق است حداقل از سه منظر متفاوت می‌توان نقد کرد. نقد اول، نقد نظریه‌ی تطابقی صدق است فارغ از این که مدافع آن پوپر یا هر فیلسوف دیگری باشد. موضوع نقد دوم اما، برداشت پوپ...
full textفضای مجازی رخنه‌ای در تئوری صدق تارسکی
بررسی صدق جملات فضای مجازی، دارای اهمیت ویژه‌ای است. برای بسیاری، فضای مجازی یکی از مهمترین ابزارهای حصول اطلاعات است. این امر به علت گستردگی دامنة اطلاعات و در دسترس بودن آن است. با همة مزایا، اگر شیوه و روشی برای سنجش صحت اطلاعات در فضای مجازی نباشد، این اطلاعات کارایی لازم را نخواهند داشت و قابل اطمینان نخواهند بود. با توجه به ویژگی در دسترس بودن و سهل الوصول...
full textتقریری معناشناختی از صدق جمله های علوم قیاسی با تأکید بر آراء تارسکی
نظریه ی « صدق »مطرح شده از سوی آلفرد تارسکی، نظری های است مبتنی بر مفهوم کلاسیکمطابقت که با تکیه بر دانش معناشناسی شکل گرفته است و همین محمل معناشناختی است کهپروژه ی صدق نگاری تارسکی را نسبت به سایر تلا شهای صدق پژوهانه ی پیش از او متمایز ساختهاست « علوم قیاسی » ، است. از طرفی یکی دیگر از مهمترین مواضعی که تارسکی به آن پرداخته استکه شامل دستگاه هایی است که بر اساس اصول موضوع، مفاهیم اولیه و همی...
full textتبیین آثار تشکیک‌پذیری معرفت در حکمت متعالیه در گسترۀ تعریف فلسفه، نظریۀ صدق و زبان‌شناسی
وجود در حکمت متعالیه امری مشکَّک است. هم‌سنخ‌انگاری «وجود» و «معرفت» در این نظام، سبب اتحاد احکام آن دو و تشکیک‌پذیری معرفت، همسان با تشکیک‌پذیری وجود می‌شود. پژوهش جاری با فرض ثبوت مشکَّک‌انگاری معرفت، درصدد بررسی و تبیین آثار و لوازم معرفت تشکیکی در سه حیطۀ خاص «تعریف فلسفه»، «نظریۀ صدق» و «نظریۀ زبان‌شناختی» از منظر صدرالمتألهین و با رویکرد تحلیل-منطقی عبارات وی است. رهیافت به‌دست‌آمده، تفسیری ن...
full textمباحثی در اثبات ناپذیری و نظریه رمزی تعمیم یافته
در این رساله ابتدا قضیه رمزی کانونیک و سپس نسخه ای از قضیه کاناموری مک آلون از جنبه نظریه مدل مورد مطالعه قرار می گیرد. در هر مورد نشانگرهای جدید و نتایج مستقل از حساب مرتبه اول پئانو به دست می آید. سپس به قضیه مجموعه تین و محاسبه مقدار دقیق عدد رمزی متناظر با آن برای برخی گراف های خاص که مسیرها از جمله آن است پرداخته می شود.
15 صفحه اولتقریری معناشناختی از صدق جمله های علوم قیاسی با تأکید بر آراء تارسکی
نظریه ی « صدق »مطرح شده از سوی آلفرد تارسکی، نظری های است مبتنی بر مفهوم کلاسیکمطابقت که با تکیه بر دانش معناشناسی شکل گرفته است و همین محمل معناشناختی است کهپروژه ی صدق نگاری تارسکی را نسبت به سایر تلا شهای صدق پژوهانه ی پیش از او متمایز ساختهاست « علوم قیاسی » ، است. از طرفی یکی دیگر از مهمترین مواضعی که تارسکی به آن پرداخته استکه شامل دستگاه هایی است که بر اساس اصول موضوع، مفاهیم اولیه و همی...
full textMy Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023